Finite Automata - Acceptability Of A String By DFA